Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.monad.me.uk

A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department

Source URL: www.paultaylor.eu

• Theoretical computer science
• Theory of computation
• Functions and mappings
• Function
• Computable function
• Algorithm characterizations
• Primitive recursive function
• Mathematics
• Computability theory
• Mathematical logic

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Computability theory
• Functions and mappings
• Recursion
• Function
• Computable number
• Compact space
• Subspace topology
• Sierpiński space
• Topology
• Mathematics
• General topology

Demand Analysis for Canned Fish in Spain Authors: González Galán, M.D.; García del Hoyo, J.J. and Jiménez Toribio, R. (MEMPES, University of Huelva, Spain)

Source URL: www.eafe-fish.org

• Elasticity
• Microeconomics
• Price elasticity of demand
• Income elasticity of demand
• Tax
• Fish
• Meat
• Computable general equilibrium
• Consumer theory
• Economics
• Demand

The Task Theory of Sensitivity Analysis Practical Sensitivity Analysis A Simple Example TranSust.Scan WP 1.2.3: Sensitivity Analysis

Source URL: www.transust.org

• Mind
• Economic model
• Mathematical analysis
• Analysis
• Computable general equilibrium
• Ethology
• Cognition
• Process management
• Scientific modeling
• Sensitivity analysis

Feasible analysis, randomness, and base invariance Santiago Figueira Andr´e Nies March 26, 2014

Source URL: www.glyc.dc.uba.ar

• Computability theory
• Theory of computation
• Game theory
• Martingale
• Martingale theory
• Normal distribution
• Symbol
• Normal number
• Computable function
• Mathematics
• Statistics
• Theoretical computer science

Research project title Agricultural Economics and Rural Development – Quantitative Analysis / Modelling impact of CAP policy instruments on regional / local economy and farming

Source URL: www.ersa.org

• Macroeconomic model
• Science
• General equilibrium theory
• Evaluation
• Impact assessment
• Thought
• Macroeconomics
• Computable general equilibrium
• Economic model

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

COMPUTABLE GENERAL EQUILIBRIUM MODELS AND THE ANALYSIS OF POLICY SPILLOVERS IN THE FOREST SECTOR Jian Xie, Jeffrey R. Vincent and Theodore Panayotou Environment Discussion Paper No. 19 July 1996

Source URL: www.cid.harvard.edu

• Environment
• Logging
• Macroeconomic model
• Economic model
• Human geography
• Natural resources
• Forestry
• Deforestation
• Computable general equilibrium

IS THE MANDELBROT SET COMPUTABLE? PETER HERTLING Abstract. We discuss the question whether the Mandelbrot set is computable. The computability notions which we consider are studied in computable analysis and will be intr

Source URL: www.fernuni-hagen.de